lambda calculus

[ˈlæmdə ˈkælkjələs]
n. λ演算
[网络] 微积分